搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Intelligent agents for telecommunicationapplications : Third International Workshop, IATA'99, Stockholm, Sweden, August 1999: proceedings 0 索取号：TN91-532/E20011 作者：International Workshop on Intelligent Agents for Telecommunication Applications (3rd : 1999 : Stockholm、 Sweden)、Albayrak、 Sahin.、出版社：New York : Springer, 1999.		Rational fault analysis 0 索取号：TN106/E802 作者：Symposium on Rational Fault Analysis、 Texas Tech University、 1974.、Saeks、 Richard、 1941-、Liberty、 Stanley R.、 1942-、United States. Office of Naval Research.、United States. Army Research Office.、出版社：New York : M. Dekker, 1977.
	NASECODE III : proceedings of the third International Conference on the Numerical Analysis of Semiconductor Devices and Integrated Circuits, held in Galway, Ireland from 15th to 17th June, 1983 0 索取号：TN303-53/E902/3 作者：NASECODE Conference (3rd : 1983 : Galway、 Ireland)、Miller、 John J. H.、Commission of the European Communities.、出版社：Dublin : Boole Press, 1983.		Biophysical aspects of cardiac muscle : proceedings of the Cardiac Muscle Symposium, May 14-16, 1977, Shiraz, Iran 0 索取号：R542/E801/1977 作者：Cardiac Muscle Symposium、 Pahlavi University、 1977.、Morad、 Martin.、Tabatabai、 Mahmood.、Iran. Daftar-i Makhs̄Уs-i ʻуlȳА Hazrat Shahb̄Аn̄У.、出版社：New York : Academic Press, 1978.
	Cardiac arrhythmias for the clinical cardiologist : proeedings of the Workshop on Cardiac Arrhythmias, Mallorca, 18-19 October 1985 0 索取号：R541.7-53/E901 作者：Workshop on Cardiac Arrhythmias (1985 : Palma de Mallorca、 Spain)、Andries、 E. (Erik)、Stroobandt、 R. (Roland)、出版社：Amsterdam ; New York : Excerpta Medica ; New York, NY : Sole distributor for the USA and Canada, Elsevier Science Pub. Co., 1986.		Ambulatory electrocardiographic recording 0 索取号：R540.4/E9017/1980 作者：Workshop on Ambulatory ECG Recording (1980 : National Heart、 Lung、 and Blood Institute)、Wenger、 Nanette Kass.、Mock、 Michael B.、Ringqvist、 Ivar.、出版社：Chicago : Year Book Medical Publishers, 1981.
	Venous problems 0 索取号：R545.2/E803 作者：Symposium on Venous Problems Northwestern University Medical School、 1976.、Bergan、 John J.、Yao、 James S. T.、De Takats、 Geza、 1892-、Northwestern University (Evanston、 Ill.). Medical School.、出版社：Chicago : Year Book Medical Publishers, 1978.		Workshop on Cellular and Molecular Toxicology, held at Marriott's Lincolnshire Hotel, Lincolnshire, Illinois, October 8-11, 1978 0 索取号：R992-53/E801/1978 作者：Workshop on Cellular and Molecular Toxicology (1978 : Lincolnshire、 Ill.)、Fawcett、 Don Wayne、 1917-、Newberne、 James W.、Munson、 Paul Lewis、 1910-、Pharmaceutical Manufacturers Association. Foundation.、出版社：Baltimore : Published for the American Society for Experimental Pharmacology and Experimental Therapeutics by Williams & Wilkins, 1980.
	Clinical use of sex steroids : based on the proceedings of the Fourth Annual Symposium on Gynecologic Endocrinology, held May 7-9, 1979 at the University of Tennessee, Memphis, Tennessee 0 索取号：R984/E902 作者：Symposium on Gynecologic Endocrinology (4th : 1979 : University of Tennessee)、Givens、 James R.、 1930-、出版社：London Chicago : Year Book Medical Publishers, 1980.		Platinum coordination complexes in cancer chemotherapy : proceedings of the fourth International Symposium on Platinum Coordination Complexes in Cancer Chemotherapy convened in Burlington, Vermont by the Vermont Regional Cancer Center and Norris Cotton Cancer Center, June 22-24, 1983 0 索取号：R979.1-53/E902/4 作者：International Symposium on Platinum Coordination Complexes in Cancer Chemotherapy (4th : 1983 : Burlington、 Vt.)、Hacker、 Miles P.、Douple、 Evan B.、Krakoff、 Irwin H.、Vermont Regional Cancer Center.、Norris Cotton Cancer Center.、Bristol-Myers Company.、出版社：Boston : M. Nijhoff Publishers, 1984.
	UML'98-the unified modeling language : beyond the notation : First International Workshop, Mulhouse, France, June 3-4, 1998 : proceedings 0 索取号：TP311.5/E20014/1998 作者：UML '98 (1998 : Mulhouse、 France)、B́Еzivin、 J. (Jean)、Muller、 Pierre-Alain.、出版社：New York : Springer-Verlag, 1999.		Energy minimization methods in computer vision and pattern recognition : Second International Workshop, EMMCVPR '99, York, UK, July 1999 : proceedings 0 索取号：TP391.4-532/E9912/1999 作者：EMMCVPR '99 (1999 : York、 England)、Hancock、 Edwin R.、Pelillo、 Marcello.、出版社：Berlin ; New York : Springer, c1999.
	Languages and compilers for parallel computing : 11th international workshop, LCPC'98, Chapel Hill, NC, USA, August 7-9, 1998 : proceedings 0 索取号：TP312-532/E991/11 作者：Workshop on Languages and Compilers for Parallel Computing (11th : 1998 : Chapel Hill、 NC、USA)、Chatterjee、 Siddhartha.、出版社：Berlin ; New York : Springer, c1999.		Computer animation and simulation '99 : proceedings of the Eurographics Workshop in Milano, Italy, September 7-8, 1999 0 索取号：TP391.4-532/E9910/1999 作者：出版社：Wien ; New York : Springer, 1999.
	Physics of electronic ceramics 0 索取号：TN304.82/E801/1 作者：Electronic Phenomena in Ceramics Conference (1969 : University of Florida)、Hench、 L. L.、 ed.、Dove、 D. B.、 1932- ed.、United States. Air Force Materials Laboratory、 Dayton Ohio. Electromagnetic Materials Branch.、United States. Army Research Office、 Durham、 N.C. Metallurgy and Ceramics Division.、Florida. University、 Gainesville. Dept. of Metallurgical and Materials Engineering.、出版社：New York, M. Dekker, 1971-72.		Physics of electronic ceramics 0 索取号：TN304.82/E801/2 作者：Electronic Phenomena in Ceramics Conference (1969 : University of Florida)、Hench、 L. L.、 ed.、Dove、 D. B.、 1932- ed.、United States. Air Force Materials Laboratory、 Dayton Ohio. Electromagnetic Materials Branch.、United States. Army Research Office、 Durham、 N.C. Metallurgy and Ceramics Division.、Florida. University、 Gainesville. Dept. of Metallurgical and Materials Engineering.、出版社：New York, M. Dekker, 1971-72.

	Intelligent agents for telecommunicationapplications : Third International Workshop, IATA'99, Stockholm, Sweden, August 1999: proceedings 0 索取号：TN91-532/E20011 作者：International Workshop on Intelligent Agents for Telecommunication Applications (3rd : 1999 : Stockholm、 Sweden)、Albayrak、 Sahin.、出版社：New York : Springer, 1999.		Rational fault analysis 0 索取号：TN106/E802 作者：Symposium on Rational Fault Analysis、 Texas Tech University、 1974.、Saeks、 Richard、 1941-、Liberty、 Stanley R.、 1942-、United States. Office of Naval Research.、United States. Army Research Office.、出版社：New York : M. Dekker, 1977.
	NASECODE III : proceedings of the third International Conference on the Numerical Analysis of Semiconductor Devices and Integrated Circuits, held in Galway, Ireland from 15th to 17th June, 1983 0 索取号：TN303-53/E902/3 作者：NASECODE Conference (3rd : 1983 : Galway、 Ireland)、Miller、 John J. H.、Commission of the European Communities.、出版社：Dublin : Boole Press, 1983.		Biophysical aspects of cardiac muscle : proceedings of the Cardiac Muscle Symposium, May 14-16, 1977, Shiraz, Iran 0 索取号：R542/E801/1977 作者：Cardiac Muscle Symposium、 Pahlavi University、 1977.、Morad、 Martin.、Tabatabai、 Mahmood.、Iran. Daftar-i Makhs̄Уs-i ʻуlȳА Hazrat Shahb̄Аn̄У.、出版社：New York : Academic Press, 1978.
	Cardiac arrhythmias for the clinical cardiologist : proeedings of the Workshop on Cardiac Arrhythmias, Mallorca, 18-19 October 1985 0 索取号：R541.7-53/E901 作者：Workshop on Cardiac Arrhythmias (1985 : Palma de Mallorca、 Spain)、Andries、 E. (Erik)、Stroobandt、 R. (Roland)、出版社：Amsterdam ; New York : Excerpta Medica ; New York, NY : Sole distributor for the USA and Canada, Elsevier Science Pub. Co., 1986.		Ambulatory electrocardiographic recording 0 索取号：R540.4/E9017/1980 作者：Workshop on Ambulatory ECG Recording (1980 : National Heart、 Lung、 and Blood Institute)、Wenger、 Nanette Kass.、Mock、 Michael B.、Ringqvist、 Ivar.、出版社：Chicago : Year Book Medical Publishers, 1981.
	Venous problems 0 索取号：R545.2/E803 作者：Symposium on Venous Problems Northwestern University Medical School、 1976.、Bergan、 John J.、Yao、 James S. T.、De Takats、 Geza、 1892-、Northwestern University (Evanston、 Ill.). Medical School.、出版社：Chicago : Year Book Medical Publishers, 1978.		Workshop on Cellular and Molecular Toxicology, held at Marriott's Lincolnshire Hotel, Lincolnshire, Illinois, October 8-11, 1978 0 索取号：R992-53/E801/1978 作者：Workshop on Cellular and Molecular Toxicology (1978 : Lincolnshire、 Ill.)、Fawcett、 Don Wayne、 1917-、Newberne、 James W.、Munson、 Paul Lewis、 1910-、Pharmaceutical Manufacturers Association. Foundation.、出版社：Baltimore : Published for the American Society for Experimental Pharmacology and Experimental Therapeutics by Williams & Wilkins, 1980.
	Clinical use of sex steroids : based on the proceedings of the Fourth Annual Symposium on Gynecologic Endocrinology, held May 7-9, 1979 at the University of Tennessee, Memphis, Tennessee 0 索取号：R984/E902 作者：Symposium on Gynecologic Endocrinology (4th : 1979 : University of Tennessee)、Givens、 James R.、 1930-、出版社：London Chicago : Year Book Medical Publishers, 1980.		Platinum coordination complexes in cancer chemotherapy : proceedings of the fourth International Symposium on Platinum Coordination Complexes in Cancer Chemotherapy convened in Burlington, Vermont by the Vermont Regional Cancer Center and Norris Cotton Cancer Center, June 22-24, 1983 0 索取号：R979.1-53/E902/4 作者：International Symposium on Platinum Coordination Complexes in Cancer Chemotherapy (4th : 1983 : Burlington、 Vt.)、Hacker、 Miles P.、Douple、 Evan B.、Krakoff、 Irwin H.、Vermont Regional Cancer Center.、Norris Cotton Cancer Center.、Bristol-Myers Company.、出版社：Boston : M. Nijhoff Publishers, 1984.
	UML'98-the unified modeling language : beyond the notation : First International Workshop, Mulhouse, France, June 3-4, 1998 : proceedings 0 索取号：TP311.5/E20014/1998 作者：UML '98 (1998 : Mulhouse、 France)、B́Еzivin、 J. (Jean)、Muller、 Pierre-Alain.、出版社：New York : Springer-Verlag, 1999.		Energy minimization methods in computer vision and pattern recognition : Second International Workshop, EMMCVPR '99, York, UK, July 1999 : proceedings 0 索取号：TP391.4-532/E9912/1999 作者：EMMCVPR '99 (1999 : York、 England)、Hancock、 Edwin R.、Pelillo、 Marcello.、出版社：Berlin ; New York : Springer, c1999.
	Languages and compilers for parallel computing : 11th international workshop, LCPC'98, Chapel Hill, NC, USA, August 7-9, 1998 : proceedings 0 索取号：TP312-532/E991/11 作者：Workshop on Languages and Compilers for Parallel Computing (11th : 1998 : Chapel Hill、 NC、USA)、Chatterjee、 Siddhartha.、出版社：Berlin ; New York : Springer, c1999.		Computer animation and simulation '99 : proceedings of the Eurographics Workshop in Milano, Italy, September 7-8, 1999 0 索取号：TP391.4-532/E9910/1999 作者：出版社：Wien ; New York : Springer, 1999.
	Physics of electronic ceramics 0 索取号：TN304.82/E801/1 作者：Electronic Phenomena in Ceramics Conference (1969 : University of Florida)、Hench、 L. L.、 ed.、Dove、 D. B.、 1932- ed.、United States. Air Force Materials Laboratory、 Dayton Ohio. Electromagnetic Materials Branch.、United States. Army Research Office、 Durham、 N.C. Metallurgy and Ceramics Division.、Florida. University、 Gainesville. Dept. of Metallurgical and Materials Engineering.、出版社：New York, M. Dekker, 1971-72.		Physics of electronic ceramics 0 索取号：TN304.82/E801/2 作者：Electronic Phenomena in Ceramics Conference (1969 : University of Florida)、Hench、 L. L.、 ed.、Dove、 D. B.、 1932- ed.、United States. Air Force Materials Laboratory、 Dayton Ohio. Electromagnetic Materials Branch.、United States. Army Research Office、 Durham、 N.C. Metallurgy and Ceramics Division.、Florida. University、 Gainesville. Dept. of Metallurgical and Materials Engineering.、出版社：New York, M. Dekker, 1971-72.